home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / b / b.lha / B / src / bint / b2tcE.h < prev    next >
Encoding:
Text File  |  1988-11-24  |  460 b   |  18 lines
  1. /* Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1985. */
  2.  
  3. /*
  4.   $Header: b2tcE.h,v 1.4 85/08/22 16:43:15 timo Exp $
  5. */
  6.  
  7. /* type unification errors */
  8.  
  9. /* Procedure start_vars(); */         /* */
  10. /* Procedure add_var(); */        /* polytype tvar */
  11. /* Procedure end_vars(); */        /* */
  12.  
  13. /* Procedure setreprtable(); */     /* */
  14. /* Procedure delreprtable(); */        /* */
  15.  
  16. /* Procedure badtyperr(); */        /* polytype a, b */
  17. /* Procedure cyctyperr(); */        /* polytype a */
  18.